Compositional abstraction ofCSP Z processes
نویسندگان
چکیده
منابع مشابه
Compositional Abstraction for Concurrent Programs
We present a methodology for automatically constructing an abstraction of concurrent programs against safety specifications based on finite state machine. And then automatically extract an initial abstract model from source code using predicate abstraction and theorem proving. However, the process of extracting a finite model from a program using predicate abstraction can be exponential in the ...
متن کاملAbstraction Framework for Compositional Modeling
ion Framework for Compositional Modeling Diane Chi and Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C, Palo Alto, CA 94304 [email protected] and iwasaki©ksl .stanford .edu
متن کاملCompositional Abstraction for Stochastic Systems
We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctne...
متن کاملCompositional Verification for Object-Z
This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Computer Society
سال: 2008
ISSN: 0104-6500,1678-4804
DOI: 10.1007/bf03192557